Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
731	Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1 Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2015-05-01 04:08:35 Algebra Mathematics Abstract algebra Algebraic logic Algebraic structures Boolean algebra Mathematical logic Semigroup theory Relation algebra Monoid Residuated Boolean algebra Heyting algebra
732	Parallelizing Machine Learning- Functionally A FRAMEWORK and ABSTRACTIONS for Parallel Graph Processing Philipp HALLER \| Heather MILLER Add to Reading List Source URL: heather.miller.am Language: English - Date: 2011-07-19 21:31:58 Parallel computing Cybernetics Learning Computing Algorithm Mathematical logic Theoretical computer science MapReduce Machine learning Cognitive science Cognition P
733	A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin. Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2014-01-23 06:18:08 Mathematics Mathematical logic Logic Automated theorem proving Logic programming Set theory Mathematical notation Set-builder notation Substitution Universal quantification FO Associative property
734	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Model theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol First-order logic Linear temporal logic FO
735	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17 Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval
736	On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic
737	On the Relative Trust between Inconsistent Data and Inaccurate Constraints George Beskales 1 1 Ihab F. Ilyas 1 Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2013-05-27 04:31:53 Data modeling Functional dependency Mathematics Mathematical logic Sigma-algebra
738	RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2014-12-04 18:09:21 Theoretical computer science Mathematics Mathematical logic Automated theorem proving Logic in computer science Type theory Unification Logic programming Anti-unification Function HindleyMilner type system
739	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
740	PDF Document Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-06-16 13:45:52 Functional languages Scripting languages Algorithm Mathematical logic Theoretical computer science Evaluation Eval JavaScript Synthesizer